Simulation and optimization studies of drag free satellite

Air cushion vehicle and analog simulation of zero gravity satellite to determine optimum fuel consumptio

MM Algorithms for Geometric and Signomial Programming

This paper derives new algorithms for signomial programming, a generalization of geometric programming. The algorithms are based on a generic principle for optimization called the MM algorithm. In this setting, one can apply the geometric-arithmetic mean inequality and a supporting hyperplane inequality to create a surrogate function with parameters separated. Thus, unconstrained signomial programming reduces to a sequence of one-dimensional minimization problems. Simple examples demonstrate that the MM algorithm derived can converge to a boundary point or to one point of a continuum of minimum points. Conditions under which the minimum point is unique or occurs in the interior of parameter space are proved for geometric programming. Convergence to an interior point occurs at a linear rate. Finally, the MM framework easily accommodates equality and inequality constraints of signomial type. For the most important special case, constrained quadratic programming, the MM algorithm involves very simple updates.Comment: 16 pages, 1 figur

Hybridization of institutions

Extended version including all proofsModal logics are successfully used as specification logics for reactive systems. However, they are not expressive enough to refer to individual states and reason about the local behaviour of such systems. This limitation is overcome in hybrid logics which introduce special symbols for naming states in models. Actually, hybrid logics have recently regained interest, resulting in a number of new results and techniques as well as applications to software specification. In this context, the first contribution of this paper is an attempt to ‘universalize’ the hybridization idea. Following the lines of [DS07], where a method to modalize arbitrary institutions is presented, the paper introduces a method to hybridize logics at the same institution-independent level. The method extends arbitrary institutions with Kripke semantics (for multi-modalities with arbitrary arities) and hybrid features. This paves the ground for a general result: any encoding (expressed as comorphism) from an arbitrary institution to first order logic (FOL) deter- mines a comorphism from its hybridization to FOL. This second contribution opens the possibility of effective tool support to specification languages based upon logics with hybrid features.Fundação para a Ciência e a Tecnologia (FCT

Binary orbits as the driver of γ-ray emission and mass ejection in classical novae

Classical novae are the most common astrophysical thermonuclear explosions, occurring on the surfaces of white dwarf stars accreting gas from companions in binary star systems. Novae typically expel �10,000 solar masses of material at velocities exceeding 1,000 km/s. However, the mechanism of mass ejection in novae is poorly understood, and could be dominated by the impulsive flash of the thermonuclear runaway, prolonged optically thick winds, or binary interaction with the nova envelope. Classical novae are now routinely detected in GeV gamma-rays, suggesting that relativistic particles are accelerated by strong shocks in nova ejecta. Here we present high-resolution imaging of the gamma-ray-emitting nova V959 Mon at radio wavelengths, showing that its ejecta were shaped by binary motion: some gas was expelled rapidly along the poles as a wind from the white dwarf, while denser material drifted out along the equatorial plane, propelled by orbital motion. At the interface between the equatorial and polar regions, we observe synchrotron emission indicative of shocks and relativistic particle acceleration, thereby pinpointing the location of gamma-ray production. Binary shaping of the nova ejecta and associated internal shocks are expected to be widespread among novae, explaining why many novae are gamma-ray emitters

The Evolution of Compact Binary Star Systems

We review the formation and evolution of compact binary stars consisting of white dwarfs (WDs), neutron stars (NSs), and black holes (BHs). Binary NSs and BHs are thought to be the primary astrophysical sources of gravitational waves (GWs) within the frequency band of ground-based detectors, while compact binaries of WDs are important sources of GWs at lower frequencies to be covered by space interferometers (LISA). Major uncertainties in the current understanding of properties of NSs and BHs most relevant to the GW studies are discussed, including the treatment of the natal kicks which compact stellar remnants acquire during the core collapse of massive stars and the common envelope phase of binary evolution. We discuss the coalescence rates of binary NSs and BHs and prospects for their detections, the formation and evolution of binary WDs and their observational manifestations. Special attention is given to AM CVn-stars -- compact binaries in which the Roche lobe is filled by another WD or a low-mass partially degenerate helium-star, as these stars are thought to be the best LISA verification binary GW sources.Comment: 105 pages, 18 figure

Observational Constraints on the Common Envelope Phase

The common envelope phase was first proposed more than forty years ago to explain the origins of evolved, close binaries like cataclysmic variables. It is now believed that the phase plays a critical role in the formation of a wide variety of other phenomena ranging from type Ia supernovae through to binary black holes, while common envelope mergers are likely responsible for a range of enigmatic transients and supernova imposters. Yet, despite its clear importance, the common envelope phase is still rather poorly understood. Here, we outline some of the basic principles involved, the remaining questions as well as some of the recent observational hints from common envelope phenomena - namely planetary nebulae and luminous red novae - which may lead to answering these open questions.Comment: 29 pages, 8 figures. To appear in the book "Reviews in Frontiers of Modern Astrophysics: From Space Debris to Cosmology" (eds. Kabath, Jones and Skarka; publisher Springer Nature) funded by the European Union Erasmus+ Strategic Partnership grant "Per Aspera Ad Astra Simul" 2017-1-CZ01-KA203-03556

Optimal design of network distribution systems

The problem of finding the optimal distribution of pressure drop over a network is solved via an unconstrained gradient type algorithm. The developed algorithm is computationally attractive. Problems with several hundred variables and constraints were solved

The indifference band in multiple criteria decision problems

A case study of a discrete multiobjective problem using the 'Indifference Band' approach is presented. An outranking relation among the various alternatives was obtained and compared with the management's own ranking. It was found that the 'Indifference Band' approach can be used in ranking procedures.

Manpower allocation in the criminal investigation process

A model describing the optimal allocation of manpower for the investigation department of the Israeli police force is described. A technique for estimating police officials preferences is given. It is believed that the approach and the methodology used can be applied in various manpower allocation problems and can serve as a good case study.